3 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
19423 | By an 'idea' I mean not an actual thought, but the resources we can draw on to think [Leibniz] |